- конечное правило
- finite rule мат.
Русско-английский научно-технический словарь Масловского. 2015.
конечное правило
Look at other dictionaries:
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Правило фаз Гиббса — Gibbs Phase Rule Правило фаз Гиббса Соотношение, связывающее число веществ (компонентов), фаз и степеней свободы в гетерогенной системе. Это правило говорит, что в состоянии равновесия системы может одновременно существовать только конечное… … Толковый англо-русский словарь по нанотехнологии. - М.
изделие конечное — 3.3.2. изделие конечное : Заключительная комбинация материалов, предметов, программных и иных компонентов, готовая к использованию по назначению. Например, станок, автомобиль, судно, танк, самолет и т.д. Источник … Словарь-справочник терминов нормативно-технической документации
Фаз правило — Правило фаз (или Правило фаз Гиббса) соотношение, связывающее число веществ (компонентов), фаз и степеней свободы в гетерогенной системе. Это правило говорит, что в состоянии равновесия системы может одновременно существовать только конечное… … Википедия
ВЫВОДА ПРАВИЛО — способ порождения объектов, называемых заключением В. п., по множеству объектов, называемых посылками правила; формулирование В. п. играет решающую роль при описании исчислений (часто данное В. п. имеет смысл лишь в контексте данного исчисления) … Математическая энциклопедия
ПОЛИЭДРАЛЬНЫЙ КОМПЛЕКС — конечное множество замкнутых выпуклых многогранников в нек ром , к рое вместе с каждым многогранником содержит все его грани и такое, что пересечение различных многогранников либо пусто, либо является гранью каждого из них. Примером П. к. может… … Математическая энциклопедия
ГОСТ Р 53394-2009: Интегрированная логистическая поддержка. Основные термины и определения — Терминология ГОСТ Р 53394 2009: Интегрированная логистическая поддержка. Основные термины и определения оригинал документа: Interactive Electronic Technical Publication 3.3.12 Определения термина из разных документов: Interactive Electronic… … Словарь-справочник терминов нормативно-технической документации
изделие — 3.7 изделие (item): Один или несколько трубных пучков (теплообменных секций), предназначенных для самостоятельной работы. Источник: ГОСТ Р ИСО 13706 2006: Аппараты с воздушным охлаждением. Общие технические требования … Словарь-справочник терминов нормативно-технической документации
Макроэкономика — (Macroeconomics) Макроэкономика это наука, изучающая глобальные экономические процессы Определение понятия макроэкономика, макроэкономическая политика, функции и модели макроэкономического развития, макроэкономическая нестабильность и её… … Энциклопедия инвестора
Валовый внутренний продукт — (Gross domestic product, ВВП) Определение ВВП, история происхождения и методы расчета Информация об определении ВВП, история происхождения и методы расчета Содержание > Валовый внутренний продукт это, определение ВАЛОВОЙ ВНУТРЕННИЙ , [gross… … Энциклопедия инвестора
Гегель Георг — Жизненный путь Георг Вильгельм Фридрих Гегель родился в Штутгарте в 1770 г. Его отец был государственным чиновником, и доходы позволяли дать сыну высшее образование. В местной гимназии Гегель изучал греческую и латинскую классику. С годами… … Западная философия от истоков до наших дней
